We develop a theory of residues for arithmetic surfaces, establish thereciprocity law around a point, and use the residue maps to explicitlyconstruct the dualizing sheaf of the surface. These are generalisations ofknown results for surfaces over a perfect field. In an appendix, explicit localramification theory is used to recover the fact that in the case of a localcomplete intersection the dualizing and canonical sheaves coincide.
展开▼